LPForget: A System of Forgetting in Answer Set Programming
نویسندگان
چکیده
A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, called LPForget. It consists of two modules: (1) Forgetting: computing the result of forgetting about certain literals in logic program under the answer set semantics; (2) CRS: application of forgetting in resolving conflict (or preference recovery) in multi-agent systems. The motivation for developing LPForget is to provide reasoning support for managing ontologies in rule-based ontology language as well as using the system for studying theoretic properties of forgetting.
منابع مشابه
Knowledge Forgetting in Answer Set Programming
The ability of discarding or hiding irrelevant information has been recognized as an important feature for knowledge based systems, including answer set programming. The notion of strong equivalence in answer set programming plays an important role for different problems as it gives rise to a substitution principle and amounts to knowledge equivalence of logic programs. In this paper, we unifor...
متن کاملForgetting for Answer Set Programs Revisited
A new semantic forgetting for answer set programs (ASP), called SM-forgetting, is proposed in the paper. It distinguishes itself from the others in that it preserves not only skeptical and credulous consequences on unforgotten variables, but also strong equivalence – forgetting same variables in strongly equivalent logic programs has strongly equivalent results. The forgetting presents a positi...
متن کاملOn Forgetting Postulates in Answer Set Programming
Forgetting is an important mechanism for logicbased agent systems. A recent interest has been in the desirable properties of forgetting in answer set programming (ASP) and their impact on the design of forgetting operators. It is known that some subsets of these properties are incompatible, i.e., they cannot be satisfied at the same time. In this paper, we are interested in the question on the ...
متن کاملKnowledge Forgetting in Circumscription: A Preliminary Report
The theory of (variable) forgetting has received significant attention in nonmonotonic reasoning, especially, in answer set programming. However, the problem of establishing a theory of forgetting for some expressive nonmonotonic logics such as McCarthy’s circumscription is rarely explored. In this paper a theory of forgetting for propositional circumscription is proposed, which is not a straig...
متن کاملWhen you must forget: Beyond strong persistence when forgetting in answer set programming
Among the myriad of desirable properties discussed in the context of forgetting in Answer Set Programming (ASP), strong persistence naturally captures its essence. Recently, it has been shown that it is not always possible to forget a set of atoms from a program while obeying this property, and a precise criterion regarding what can be forgotten has been presented, accompanied by a class of for...
متن کامل